{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Dynamic Process: Non-Condorcet Profiles (5.2.1, C.6)" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:23.715832Z", "start_time": "2021-02-09T13:45:18.198339Z" } }, "outputs": [], "source": [ "from matplotlib import pyplot as plt\n", "from poisson_approval import *" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:23.725141Z", "start_time": "2021-02-09T13:45:23.720155Z" } }, "outputs": [], "source": [ "N_SAMPLES = 10000\n", "N_MAX_EPISODES = 1000" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:23.791962Z", "start_time": "2021-02-09T13:45:23.729182Z" } }, "outputs": [], "source": [ "rand_profile = RandConditional(\n", " factory=RandProfileHistogramUniform(n_bins=1),\n", " test=is_not_condorcet,\n", " n_trials_max=None\n", ")" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:24.976913Z", "start_time": "2021-02-09T13:45:23.795971Z" } }, "outputs": [], "source": [ "results = monte_carlo_fictitious_play(\n", " factory=rand_profile,\n", " n_samples=N_SAMPLES,\n", " n_max_episodes=N_MAX_EPISODES,\n", " voting_rules=VOTING_RULES,\n", " init='random_tau',\n", " monte_carlo_settings=[\n", " MCS_CONVERGES,\n", " MCS_WELFARE_LOSSES,\n", " ],\n", " file_save='sav/non_condorcet_profiles.sav',\n", ")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Convergence (5.2.1)" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:24.994947Z", "start_time": "2021-02-09T13:45:24.980901Z" } }, "outputs": [ { "data": { "text/plain": [ "0.1929" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "results[APPROVAL]['mean_converges']" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Welfare Losses (C.6)" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:27.877971Z", "start_time": "2021-02-09T13:45:24.997940Z" } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAfkAAAEGCAYAAABmcuwoAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8QVMy6AAAACXBIWXMAAAsTAAALEwEAmpwYAABIJElEQVR4nO3deXxU9b3/8ddnlsxkX0gIO0nYd0FAUUTQqoi4VWytbb3u1Wqt7fXe9t7fbUv11mutW+tatRVX0CIuuMsSFBTZRHaRVRBkX5KQbTKf3x8zxBCynEAmMxM+z8djHpkzc86Z9wwJn/me8z3fr6gqxhhjjGl9XNEOYIwxxpjIsCJvjDHGtFJW5I0xxphWyoq8McYY00pZkTfGGGNaKU+0AzRVRkaGdu/ePdoxmqSkpITk5ORox3As3vKCZW4J8ZYXLHNLiLe8EJ+ZFy9evFtVc5q6XdwV+dzcXBYtWhTtGE1SWFjI6NGjox3DsXjLC5a5JcRbXrDMLSHe8kJ8ZhaRzceynR2uN8YYY1opK/LGGGNMK2VF3hhjjGmlrMgbY4wxrZQVeWOMMaaViliRF5F/ishOEVlRz/MiIn8TkXUiskxEhkQqizHGGHMiimRLfhIwtoHnzwd6hG83Ao9HMIsxxhhzwonYdfKq+pGI5DWwysXAcxqa63a+iGSISHtV3R6pTObYBINKUVmAA6WV7DtUwd5DFZRXVlEeCFIRCFJZ1bTpipUmru9g9bVfV7J1/mbne1ZFNIArWIkrGMAdrMAdLEe0CpdWIVUVBLUCKvcToIqqYAWVWk5QKwlqALQSrSqjIliEiA8lSFCrCBJENRheDlKhlVQSIAE3Wv2c4q08yL6yKj75+u9o+DNRIEiQYipxAV7cTfqcGnizdd5tqkOlpczY/PDxxzkONeOLgzdzqLSUDzf/7Zj2X5M0Yd0m77zWSmVlpXyw6a9N3XsLqPsNlJaW8cGmh45eo/6FqCsrK+P9jQ8e/47iYKr2aA6G0xHYUmN5a/ixo4q8iNxIqLVPTk4OhYWFLZGv2RQXF8dk5mAwSFVVFYFAAFWlLKCs2Q/bioM8/cXb7CmD7SVwsAKCUU2qJFJOGzlIO/bilSp8VJIr+6iQKhI8+/G6S1izpZygp4QkKlCpQiVIpbcYb9BFmbuKoLuULZ4E0rSSchE2eT2kB4NUirDTHSqoLiAAlLsi3F3FBSQRa//3NSwx2gGOQSxlruubQl1iKbMTSUcuyuHC5/T9RkNzfcYt+B67du3a+1i2i2aRd/zlWFWfBJ4E6NWrl8bbSEWxMrpSZWUl33zzDfv37+fAgQNU4WJrqbB8F3y1r4pVe6oINcpdJHuhjd9F32wXWX4hLUFI9AopXiHZKyR6wOMSvC5wu5r+u354fVdVOYkVe0gq30ly2TYSAkVQtp2ywG72BYvYrwcooYr1CV4qgT1uN7vdbra73Sz2OG3pBvGqkKopeBB2kES2umgrPsrdQTqQRFdxU6xltHFl4MWDWzwEUBLESyoJiDuRBEnAJR5ceEI/xY0bFxXixu/yI7gRBJe4Q/fFhUtcIC484gVcCC7EFfpZXFpJSnJqaBtciEj4fmjZJc33ReOIFvAx/sdUUlxCckrjQ4FKE38bmhyn5gaNvJniomJSU1OaJU+d/zk1MbyT1YuKSpqc+RjjIMf6y1BDcVExKfXkPWLvDl6rGeI0vP/wzyKHvxfN8fk0lxsSbjimrybRLPJbgc41ljsB26KUpdUKBoNs3LiR3bt3U3yolFV7qli3v4qVu6vYfDBIZbiJ3jZJOLuLl4E5btp7S8nOSG1wvyJSfdPwN/dgsI72frCKxLIdpB9YSfr+VXgq9nGwfBu79RC73W6KqWShL4EtHg+VImzzuNmVUvPXMi30eoT+k82XDDLcqfR1peARN8meDLK8uRBIJiM5gwRXAh7x4Bc/HvGE7rtC92ONX4tITWr4c44lVRXlJPkSoh2jSSq9bnze2Pu3b0iCx0WC4y+w0ed2Cx53fF2oJRJbBdyhYzruF83f/jeBW0VkCnAKcMDOxzevrVu38tW6dWzYH+TjbypZ9G2A4spQweyY6mJ0Zy+9stx0z3CR6f/uj7SoCNxuN1VVVQAkJCTg9/txuVz4/X4AAoEAZWVllJWVUVVVhaeymDb7lpKxbxlJJV/jL9tJUKvYHzzIUp+Pd/0+VvsSWJ+aQFl6AnBksXDjor0rkwJ/HkO9bUlxp5DjzSHVlUqmJ5NkV3KDf5RFRUWkJh57wTy875qvISK4XK4jvtC43e7q+4fXqblc1z5q/nSFTwOICGVlZbRv377B7evKGC3r1q2jc+fOja8YQyxz5MVbXojPzFu3bv3qWLaLWJEXkcnAaCBbRLYCfwC8AKr6BPAOMA5YBxwCrolUlhPNjh07WLNmDfO+qeTVtRXsKVPcAifnejitg4deWW6SvHUXjKysLMrLy+nXrx+JiYl4vV727NlDSUkJ+/btY+fOnbjKD5JxYAWZJd+QfmAlSSVbCZbvYKHfz9wEL2t8CWxI9bPe6wJChTeJBDr5unJqQkfahot4rjeXZFcyqe5U3NK0lsvh4ut2u0lISODQoUPk5ubicrnwer14vV48Hg9utxuXy1V93+v1Vj9Wu7i2tB07dtCzZ8+ovX5Tff311xQUFEQ7RpNY5siLt7wQn5lLS0tLjmW7SPau/1EjzytwS6Re/0R04MABli1bxhc7Knj1qwo2HgiSkyjcONDHoBwPKQnftSoPH2LPzMwkJSWFnJwckpOTcblc7Nmzh6qqKlauXElxcTHe8n2kFX1FVtE6eu36hOSSrykSYUGinxnJyXyZk8I6d2c0XC9zPDnkenM5y9uWVHcq3X3d6err6ugcs4jg9XpJSkoiKSkJn89HQkICHo8Hn8+Hz+fD6/UeVZwLCwvp3fuY+qUYY0yrFV8nq0yd9u3bx6pVq9h2sIJpayv4dHuALL9wRe8Ezu7iJcF9ZEHs0qULmZmZpKWlHVEsd+/ezaZNmyguLmbT/Om02z6DQd/OwlN1iEpgmc/HlIz2zMvpxSYpBcCDh2xvNt9LHECPxB7kJeSR5K7V3baWtLQ0/H4/ycnJ1QXc7/eTmJiI2x0/5yKNMSbWWZGPc+vXr2f+6s1MX1/JZ9sDuAQu6ublom4JeGsU99TUVHr16kVy8pG9ow8ePMjWrVvZtWsXKUXrabtzHv22zySxch8lIryR2YnXUzqz3F1OFUFcQIGvI+MTe1PgKyDfl4/X5a3e3+EvDaqK1+slMTERn89HdnY2mZmZeL1ejDHGtAwr8nGqoqKC+Z99xutry3jtqwo8Ljinq5fzC7xk1ehE1759+6PO+1ZUVPDVV1+xe/duvBX7aLNnMSdtn0H6gVUcEuH9rO58kFbAfPZRSYAMt48h/v70S+xHn8Q+JLu/+6JwuKi73W7S09PJysoiJSWFlJSU6k5mxhhjosOKfBwqKyvjjVmf8tSyMtbtDzI0182/9fOR5vuuqGZmZtK/f/8jCm1VVRXLly+nePc3dNj2PoN3fUJaUajD5gFfNvd2PZ2p7l2UahmJrmKGJg1jWPIwuvu7V59PP3w+3+fzVZ/Lz8zMJCEhvi6tMsaYE4EV+Tizd+9eXvtoKfcvCp0Tv7qfj9GdPdUt6vT0dHr27ElS0nfnxYPBIF9++SV7tm2kwzfv0H/zq3iqDhFwJ7Io/zKmeA4yN7iVkuAW+vr7MsIzggFZA6qvLXe73QSDQdLS0sjJySErK4vExHgblssYY048jRZ5CVWPHwMFqnqniHQB2qnqgoinM0fYuXMnLxUu58llZSR7hf8YlkhucqiF7fP56N+/Pykp343iFAwGWbt2Lbu2fU277TMYvmkyCZUH2ZvRj2mdRjIj+DWrShdBAPJ9+YzPGE/PxJ4UFRXh8/gIBoNkZmbStm1bcnJy7PC7McbEGSct+ccIDV1+FnAnUAS8CgyLYC5Ty7p163juk008t6qcjikufj3UT3ZiqOjm5eXRtWvX6nUDgQDLli3j0L4d5H47m1M3voQ3UMSB5C680OsKJlcs5duSd0lzp3F22tmcnno6Od4cgOprz/Pz88nNzcXjsYM9xhgTr5z8D36Kqg4Rkc8BVHWfiNgJ2Ba0dOlSXliyi6lrKxiQ7eYXQ/z4wj3nR4wYccT58M2bN7P1q2V02jKdAd+8hTdQQlFKAW90uox/BNeyteQ92nja8NPsn3Jy8slHDPeamZlJ9+7dWbBgAR07dmzx92mMMaZ5OSnylSLiJjxurojkEO1JyU4ghR/P4/ElxXy2PcDQXDc/G+Svvu591KhR1efiKyoq+PSTeeR+O5thG54loWI/B9J6M6fDSJ5hA+vKZ5HqSuWq7KsYnDwYr3hxuVyoKh06dKB9+/ZHXV5njDEmvjkp8n8DXgPaisifgAnA/0Q0lQHgrQ8LeXBxKRv2B7mwm5fv90jAJUJiYiLDhw+vXm/Lli1sW/kJJ616gPSDayhK6caCfv/BS1Wr+LjoA1JdqVySeQlnpJ6Bz+XD5XLhdrspKCggJyfHBqAxxphWqtEir6ovishi4GxCc5tcoqqrI57sBDdn/iLuW1jKtuIg1w3wcUan0CAyycnJDB06FAgNOLNmzRp0+b84+cvHcAfLWZ//E6a26cy0fc9zKHiIM1LP4MKMC0lyJ1WP4d61a9fqiVGMMca0Xk56158KrFTVR8PLqSJyiqp+FvF0J6j3ZhTyl0WlbCkKctMgP8Pbh/6ZsrKyGDBgABAap/6LJYsoWP8MnbZO52BaTz7udR3Plcxm1Z6PyPflc3nW5XTxdaku5h07dqRr167WcjfGmBOEk8P1jwNDaiyX1PGYaSbLVq7m/vAh+hsH+qoLfNeuXcnLywNg165dfP3ZdIau/AtJpdvYkTmQB7qewvu7n8AtbiZkTWBU6qjqAWzat29PQUGBFXdjjDnBOCnyooenLANUNSgidl1VBGzcuJG7Z3zNun1Bbhjo47SOoUP0gwYNIiMjAwidf9+/8F8MWnkvVe5EZnS/kntd69l+4H2GJA3h0qxLyfRkIiKkp6dTUFBAauqxz7NujDEmfjkp1htE5DZCrXeAnwMbIhfpxFRZWcnDs9Yxf3uAS7oncHq4wA8ZMqS6SC9ZsgTvxln0X/4nyvzZ/LPXFUwqeg+Perix7Y0MTBpYPexs//79ycrKiuZbMsYYE2VOivxNhHrY/w+hy+hmAjdGMtSJRlV56NWPmPZVBae093Bx96ML/Jw5c8jb8CJdNr9CcWIH/rdgJO8cfJ08Xx7X5lxLlicLESE3N5eCggKb7c0YY4yj3vU7gStaIMsJ69X3CnluZRm5ScKNA324ROjRo0d1gf941gf0/vIRcnfMYUfOCH6X24FPSz5lRMoILs+6HJ/bh9vtplevXmRnZ0f53RhjjIkVTnrX5wA3AHk111fVayMX68SxdMUq7l9USmUQbh3sx+MS2rVrR4cOHVBVPpn5Did98XtSi9axpcO5/G+bTD4t/pRz08/losyLAMjOzqZ37942trwxxpgjODlc/wbwMTADqIpsnBNLeXk5f561he0lyr8P9dMlzU1qaiq9evUC4JOZbzNg2Z2kFq1jaZ/becC1kc+LP+Wc9HO4MONCAPLz8+nSpUs034YxxpgY5aTIJ6nqbyKe5AT0+LuL+XRbgEu7JzAwJ/RPMWTIEFSVhe9N5qTld5N8aAsLe9/C/7Gcrw59xcWZF3NO+jkA9OvXzw7PG2OMqZeT47tvici4iCc5wSxZtY6nFu+jS6qLi8Id7U455RRUlU9nvEHfFfeQdGgrc/v9iv8XXMSGsg1clX0V56Sfg8vlYtCgQVbgjTHGNMhJS/6XwH+LSAVQQWhoW1XVtIgma8VUlT9/uJ6yAPxsUKijXbdu3fD7/Xz6wTQGLLuTpNJtzOt7GxMr5rKvah83595M78TeuN1u+vbtW33dvDHGGFMfJ73rbSSVZvbIq7P4LHw9fKdUNykpKXTq1Im5M99h8Bd/IPHQNgr73cbd5R+zr2ofP8/9OT0Se+D1eunXrx9pafb9yhhjTOMaPVwvIT8Rkd+FlzuLyPDGtjN1W7HmK55bWU6GTxhX8N318HNnvM3Apb8jueRrPun7C/6vYi4Hqw4eUeAHDx5sBd4YY4xjTs7JPwaMAK4MLxcDj0YsUStWVlbG/76/gV2lyo0DffjcQt++fVn02ScMXPZH0orW8VmfW/lj5Tz2BPZwdc7V9Ejsgd/vZ9iwYfj9/mi/BWOMMXHEyTn5U1R1iIh8DqCq+0QkIcK5WqUHps1l/vYA3++RQL9sD+np6ZQUF9N56f2kHfySVQU/5W5dwe7K3fw89+f0Tu6Nx+Ph5JNPtslljDHGNJmTlnyliLgJDWl7eHCcYERTtUIrv9rE5NXldEt3MT58mL59+/YEP36Adt/OZG3H8/mvhC1sLN/IT3N+Sq+kXrjdboYOHWoF3hhjzDFxUuT/BrwGtBWRPwFzgbsjmqoVuvOdLymuhKv7+3C7hM6dO7P7o39SsOE5drcZyv9meNlYvpFrcq7h5OSTSUxMZOjQoTYGvTHGmGPW4OF6EXEBG4H/BM4mdPncJaq6ugWytRord5bx2fYqxuZ76ZLmJicnh32rChm86j4qPSk80nk4nx94iwszLmRI8hB8Ph8DBgwgIcHOihhjjDl2DRb58Nzx96vqCGBNC2VqVYLBIFO/CpDhc3FJ91DRLtm4iMGf/zdBl5cn+l/HqwdeY1DSIM7NOBcRoV+/ftbJzhhjzHFzcrj+AxG5TEQk4mlaoWfeW8DGIuHi7gkkeoSE8r0MXDYRlwaYPug/mXTwbQp8BVydczUucTFs2LDq2eeMMcaY4+GkyP8a+BdQLiIHRaRIRA462bmIjBWRL0VknYj8to7n00Vkuoh8ISIrReSaJuaPaVVVQV74Yh+ZPmVUJw8JCQn0WXUfvvI9LO3zKx4rfpcESeDanGvxSmigm8TExGjHNsYY00o0WOTD5+THqqpLVRNUNU1VU50MaRvukf8ocD7QF/iRiPSttdotwCpVHQSMBu5vTZfn/XPGUjYeCHJ+Z/C4hMzN75CxfwXbc0fzV9ayo3IHV+VcRVZCFl27dqVNmzbRjmyMMaYVabDIq2oQuO8Y9z0cWKeqG1S1ApgCXFz7JYDU8KmAFGAvEDjG14spB0tKeXL+t3RMcXFqLvhLt9Nz7eMEPMn8s+MQlhxawgUZF9AvqR/t2rUjLy8v2pGNMca0MqKqDa8g8kdgGTBNG1v5yO0mEDoKcH14+aeEBta5tcY6qcCbQG8gFfihqr5dx75uBG4EyMnJOfmVV15xGiNqpq0u5s3Nwi39lJ6plZy59o9kHNrI5B638OfAO+R787km9RrcLjfJycnRjnuE4uJiUlJSoh2jSSxz5MVbXrDMLSHe8kJ8Zh4zZsxiVR3a1O2cjHj3ayAZCIhIGc5noauro17tLwnnAUuBs4BuwIci8rGqHnHOX1WfBJ4E6NWrl44ePdpB7OjZunMvhbPm07eNi+FdEmmzbioZhzayvOCnPMmnJLuTub7d9aR6Uhk+fHjM9aQvLCwk1j/j2ixz5MVbXrDMLSHe8kJ8Zj5WjXa8C5+Db/I5eWAr0LnGcidgW611riF8hEBV1xG6Jr+30/Cx6s5piyiqUH7QK4HEQ9vou+UFilK68WBSCXsCe7gu5zpS3Cn07ds35gq8McaY1qPRlryIjKrrcVX9qJFNFwI9RCQf+Aa4gu8muTnsa0KD7HwsIrlAL2BDY5li2bLVX/HRlkpGdPCQn+ai76I/4yLI8wXnsbDoLcZljKNHUg+ysrLIzs6OdlxjjDGtmJPD9f9R476fUIe6xYQOsddLVQMicivwPuAG/qmqK0XkpvDzTwB3AZNEZDmhw/u/UdXdTX8bseO+mRuoCMLYfC85Oz8mpXgjS3LP5dmSWXRJ6MJ56efh8/no3TvuD1gYY4yJcY0WeVW9sOayiHQG7nWyc1V9B3in1mNP1Li/DTjXUdI4MOvzr/hoa4Cx+V7yUoJ0WfMvAu5EHslIoryinJ9k/wSPy8OgQYNs0hljjDER52QwnNq2Av2bO0hr8NCs9SR74aJuCRSse4aUks282eNKFlYsYVTaKDokdKBnz574fL5oRzXGGHMCcHJO/mG+6xXvAk4Cvohgprj01vxVLNtVxWU9EuhYvIxO37zFtpzTeFrXkCqpjM8cT1paGu3atYt2VGOMMScIJ+fkF9W4HwAmq+q8COWJW49//DVpCcK5XV30WvhXKj2pPN1xMFsOTOfKlCvxiY8+ffpEO6YxxpgTiJMiPxUoU9UqCA1XKyJJqnoostHix0uzlrByTxU/6p1A7y1T8JfvprD7j3jj4Pv09vemf0J/8vPz7XI5Y4wxLcrJOfmZQM1ZUxKBGZGJE5+eWbiDLL/w/fSv6Lr5Fb5tezoPerbhFS9XZl+Jy+WiU6dO0Y5pjDHmBOOkyPtVtfjwQvh+UuQixZcZSzfy1b4gF3YJcNLK/6XKlcDfOwxiQ/lGLs28lCxPFn6/H5frWPo4GmOMMcfOSeUpEZEhhxdE5GSgNHKR4svfC9eS7IVrA6/gDZQwr9+/M/3gh/RL7MeItBG0a9fOLpczxhgTFU7Oyd8O/EtEDg9J2x74YcQSxZE13+xl8Y4AP+60ly7b3uZAanf+XrWcKq3i0sxLcblcdOvWje3bt0c7qjHGmBOQk8FwFopIb0JDzgqwRlUrI54sDvzuXwtxi3J72aOA8nL+OJYVvc7FmRfT3teeAQMG4PE4+R5ljDHGNL9GD9eLyC1AsqquUNXlQIqI/Dzy0WLb/qJDfLErwM8zF9GmaDVr8q/khUNzaO9tz9npZ5ORkUF6enq0YxpjjDmBOTknf4Oq7j+8oKr7gBsilihO/PXtxVRUKddXvECVK4EX0lPZV7WPy7Mux+Py2Nj0xhhjos5JkXeJSPXc8CLiBhIiFyn27TtYzLTVRfxvyjRSK3cxv+By3js4g4GJA+md3JtevXqRkHBCf0TGGGNigJMTxu8Dr4jIE4SGt70JeC+iqWLcA298hpYX8SN5nTJfDk/4iqAULsu6jMTERHJycqId0RhjjHFU5H8D/Ay4mVDHuw+ApyMZKpZ9uWUnL68p42/Jk3FXVTGlxw9ZWvImF2RcQBtvG3r06EGNAx/GGGNM1DjpXR8UkX8Acwm15L88PMTtiejBd5czUpcwtmo229uNZnLlF2S4Mzgn/RxycnKss50xxpiY4aR3/WjgK+AR4DFgrYiMimys2FRWWcUnmw9yt/95yn1teLnzGWyu2MwFGRfgdXnp0aNHtCMaY4wx1Zwcrr8fOFdVvwQQkZ7AZODkSAaLRU++PZ+reYt2wR0s7fk7pu9/l3bedoxIG0FeXh5erzfaEY0xxphqTnrXew8XeABVXQuccNVMVflo9RZ+6X2VvZkn8YE/yM7ATsZljMPtctOxY8doRzTGGGOO4Gg++fA5+efDyz8GFkcuUmx65eMVDC+eidurrM67nNf3vkSeL48hKUPo0aOHjU9vjDEm5jhpyd8MrARuA34JrCJ0Gd0JZer8r7jJ8xZ70/szNbieomARl2VeRqI/kbZt20Y7njHGGHMUJ73ry4EHwrcT0qzlmznr4DTSPId4q/PZzDz4OqelnEa3pG52yZwxxpiYZZOcO/D8zCVc636PnW1O4YXgWnzi46LMi0hMTCQzMzPa8Ywxxpg6WZFvxLf7ijl196v4pJLPOp/DytKVfC/9e6R6Um18emOMMTGt3iIvIs+Hf/6y5eLEnr+8MpsfuWdS5MvljcCXePBwRvoZdOzYkZSUlGjHM8YYY+rVUEv+ZBHpClwrIpkiklXz1lIBo6myKsjQb54lTQ4xt9e/saBkAaPSRpEsyXTt2jXa8YwxxpgGNdTx7glCE9EUELpkrmbvMg0/3qpNmzGXH7k+ZLu/B1ODG3Dj5tyMc+nSpQsej5OrD40xxpjoqbclr6p/U9U+wD9VtUBV82vcWn2BB0hd9DAAC3tNYGHJQkaljSLVnWoD3xhjjIkLTi6hu1lEBgFnhB/6SFWXRTZW9M2Z+S6jK+aw3dORaVVr8IqXczPOpUOHDjZXvDHGmLjgZIKa24AXgbbh24si8otIB4u29vMnkiTlzOx9PUtKljAqdRQprhS6dOkS7WjGGGOMI05OLF8PnKKqJQAi8mfgU+DhSAaLpo/fmMSIirV87j2Jt3UhfvHzvYzv0alTJ2vFG2OMiRtOrpMXoOb88VUc2Qmv/g1FxorIlyKyTkR+W886o0VkqYisFJE5TvYbSWWlpXRe/QQAM7tPYEXpCs5OP5tUd6q14o0xxsQVJy35Z4DPROS18PIlwD8a20hE3MCjwDnAVmChiLypqqtqrJNBaI76sar6tYhEfRD4r17/MwPKVvOsdwLL3AtJlETGZIyhXbt2NpWsMcaYuNJoS15VHwCuAfYC+4BrVPUhB/seDqxT1Q2qWgFMAS6utc6VwDRV/Tr8WjubkL3Z6aG9DPjyQdYH2/Ntz7P54tAXjEgdgV/8FBScEBcUGGOMaUVEVSOzY5EJhFro14eXf0ro3P6tNdZ5iNDc9P2AVOCvqvpcHfu6EbgRICcn5+RXXnklIpmzN0yj/9fP8iv5D/b3Ws/S8qXckXEHOYk5x3Uuvri4OK5Gx4u3vGCZW0K85QXL3BLiLS/EZ+YxY8YsVtWhTd0ukiO61HXevvY3Cg9wMnA2kAh8KiLzVXXtERupPgk8CdCrVy8dPXp086dVZe9nv+TrYA6ebr35vHwqp6WeRufMzpx++unHNV98YWEhEckcIfGWFyxzS4i3vGCZW0K85YX4zHysIjlBzVagc43lTsC2OtZ5T1VLVHU38BEwKIKZ6rXi3X+QVbqJp6suYH/SLIIEOSv9LDp27HhcBd4YY4yJlkgW+YVADxHJF5EE4ArgzVrrvAGcISIeEUkCTgFWRzBTvTp9+Q/KSGBBej8+OzSXUamjaOttS6dOnaIRxxhjjDlu9R6uF5Eijj68Xk1V0xrasaoGRORW4H3ATWh43JUiclP4+SdUdbWIvAcsA4LA06q64hjex3H5/I3HGXxgFU8ExuNvtxi3ujkv/Txyc3Px+XwtHccYY4xpFvUWeVVNBRCRO4FvgecJnWf/MaFOco1S1XeAd2o99kSt5b8Af2lS6uakSv7GF9hLOv9MOJdyfYARKSNI96aTn58ftVjGGGPM8XJyuP48VX1MVYtU9aCqPg5cFulgLWXzjKfI2L+CpyvPo2OXLwgS5NyMc2nXrp2NbmeMMSauOSnyVSLyYxFxi4hLRH7MkSPgxbXcxX8hiPCcnsV296f0T+xPG08b8vLyoh3NGGOMOS5OivyVwA+AHcBO4PLwY3GveOtK/GU7eS94Cm27LKEkWMw5GedYK94YY0yr4GSq2U0cPVJdq7D3gwdIAZ6sGs3BxNfpl9iP7v7u1qPeGGNMq+BkqtlOIvKaiOwUkR0i8qqIxH0V1MpSunw9lbXu7qzP+ZYKSrkw40JSU1NJTk6OdjxjjDHmuDk5XP8MoevbOwAdgenhx+Laulf+AMBfKsbgyviIwUmD6eTrRPfu3aOczBhjjGkeTop8jqo+o6qB8G0SkBPhXJFVFaDz169yyJXCR+mVBCXA+MzxpKWlkZrq6OpAY4wxJuY5KfK7ReQn4d71bhH5CbAn0sEi6Zs3/4S/fDdPuy8mIesz+if2p623LT169Ih2NGOMMabZOCny1xLqXf9t+DYh/FjcSt78IUFx84grG9wljEkbQ05OTtzNSmSMMcY0xEnv+q+Bi1ogS4vY9eUCcvYv58OUC/Gmz6GDpxM9/T3tunhjjDGtzgnXu75yzv0A/IUuuBL2Mi5zLFlZWSQlJUU5mTHGGNO8Tqje9fu+WU+Hbe+xMX04W5KXkUQmA5MGkpubG+1oxhhjTLM7oXrXH3rndwA86BmOJ2kz30s/iwRvAm3bto1yMmOMMab5nTi96wPltN3xEUUp+cyWr3EFExmVPoJu3bohItFOZ4wxxjS7pvau306c9q5fNe1evIEiPsz5Ppq8nG6eISR5kqwVb4wxptU6IXrXBwIBum56mfKETJ6q2IskVDE++0y6dOmCy+Xke44xxhgTfxot8iKSA9wA5NVcX1XjpjW/cvqjDDq0hS+6/pAtOo+0iv50S+pgE9EYY4xp1Rot8sAbwMfADOJxHvlgFX1X/oVKTzIPuNMRLeOCtHPx+Xy43e5opzPGGGMixkmRT1LV30Q8SYRsevsB8gJFrO5+A0srPkEqunNa13ybiMYYY0yr5+SE9FsiMi7iSSKkzdopAExP6UTQfZBerpG4XS6ys7OjnMwYY4yJrHpb8iJSBCggwH+LSDlQGV5WVU1rmYjHrmjDIlKL1rEjdzTv7v+YYFUKF7YfYD3qjTHGnBDqbcmraqqqpoV/ulQ1scZyzBd4gAOzHgLg487nslvWknJoJF3TfPTs2TO6wYwxxpgW0FBLvreqrhGRIXU9r6pLIherGVSU0H77h+zLHMQLBz5FqxL4XsbpiIhdNmeMMeaE0FDHu38ndOnc/XU8p8BZEUnUTNZOvZOeVWUs7HQu64teQQ+M5syBGXTt2jXa0YwxxpgWUW+RV9Ubwj/HtFycZqJKl82vEnAnMS24A0UYmngGPo9YkTfGGHPCaOhw/fcb2lBVpzV/nObx5b/upFf5LlZ0v46FJZ8SKOrD9/La4Pf7ox3NGGOMaTENHa6/sIHnFIjZIt9lw0sEPMm8nZ5Nxd5ikg6dRudUF4MHD452NGOMMabFNHS4/pqWDNJc9q6cTVbZt2zpeD4fHpxDVXlbRmf1QkRISEiIdjxjjDGmxTTazVxEckXkHyLybni5r4hcF/loxyY4+x4APmg/jB2BbVTsGcWp7b306NEjysmMMcaYluXkWrJJwPtAh/DyWuD2COU5LsXffEn27vkcSO/LB4cWIFXJ5AROomOKi/bt20c7njHGGNOinBT5bFV9BQgCqGqAGJ2oZteMhwB4L288q0pXUbZnJGd1SSIlJQURiW44Y4wxpoU5KfIlItKGUGc7RORU4ICTnYvIWBH5UkTWichvG1hvmIhUicgER6nrsGvDcvI3vkRxch5vB77Eo4lU7j2dER28NqWsMcaYE5KTWeh+DbwJdBOReUAO0GgxFhE38ChwDrAVWCgib6rqqjrW+zOhUwLHTN8LfYeY2+MqvjjwHFX7RzIwO5HUBCE3N/d4dm2MMcbEJSct+b3AmcBpwM+AfoDPwXbDgXWqukFVK4ApwMV1rPcL4FVgp6PEdQXcvpm2O+dyIL0P7+rXKFCy+3TGd0uwQ/XGGGNOWKKqDa8gshi4SFW/CS+PAh5V1QGNbDcBGKuq14eXfwqcoqq31linI/ASoSFy/wG8papT69jXjcCNADk5OSe/8sorRzzfac3TdP92OrMLfs6/6/vIoT74d/+I/xoMiYmJuN3uRj6GyCouLiYlJSWqGZoi3vKCZW4J8ZYXLHNLiLe8EJ+Zx4wZs1hVhzZ1OyeH628CXheRC4EhwN2Ak/nl62o+1/5G8RDwG1Wtaqi1rapPAk8C9OrVS0ePHv3dcxUlUHgpB9L78n6aUnmgkpJvz2JCno/U1ATOPPNMB1Ejq7CwkJqZY1285QXL3BLiLS9Y5pYQb3khPjMfq0aLvKouFJHbgA+AMuAcVd3lYN9bgc41ljsB22qtMxSYEi7w2cA4EQmo6usO9g/A2lfvphdB1nUax+yit8iq6kNJRTtGdvRQUFDgdDfGGGNMq9PQ2PXTObLlnUSoV/0/RARVvaiRfS8EeohIPvANcAVwZc0VVDW/xutNInS4/vWmvIEO37xNaWI7pvsqOXToEKXbRzMwx026z2W96o0xxpzQGmrJ33c8O1bVgIjcSqjXvBv4p6quFJGbws8/cTz7B1hb+DI9izeypts1zD44h7aufNYXdWVMTy9JSUnW4c4YY8wJraGx6+cc785V9R3gnVqP1VncVfXqpu4/Z+nDBMXD9LQM9u7fS9eSi0jyQP9sN927dz+20MYYY0wrUe8ldCIyN/yzSEQO1rgVicjBlotYt/Uf/YvM/cvZ1u5M3iyaSRdvHmu29OTUDh78CV4yMzOjHdEYY4yJqnqLvKqODP9MVdW0GrdUVU1ruYh1y158PwAvtR/E/qr9dKg8m4C6GNnRS4cOHRrZ2hhjjGn9Gup4l9XQhqq6t/njOLPsgxcYeGA123JH8fbBWXRJ6MKGzT3okCwUpLusyBtjjDE03PFuMaHe9fVd7x6169O6rHwMgGkdR7B332RG+i/ixf1wZW8vKSkp+HxOBuQzxhhjWreGOt7l1/dcNLkqS8g48C0bOo7j1aIPae9tz9ff9iHBpYzo4LFWvDHGGBPmZOz6mJJYvotKTwrPtS1gd2A349Iu4ZNvQgU+zWfzxhtjjDGHxV2Rd2mADR3P5YODs+nh78HOPT2pUhjVKdSj3q6NN8YYY0LirsgDPJ+eTlGwiPHp45mzpZIOKS66Z7rJz4/JMwzGGGNMVDgq8iIyUkSuCd/PCQ9VGxVVIrxfPI/+if1J1gK+KQ5ydhcPSUlJpKamRiuWMcYYE3MaLfIi8gfgN8B/hR/yAi9EMlRDdrndlGs5F2VexIxNFQgwJNdD586dG93WGGOMOZE4aclfClwElACo6jYgak3mfS4XpySdTIq2Y87WSk7v6CHL76Jdu3bRimSMMcbEJCdFvkJVlfCMdCKSHNlIDQsKnJd2Fm9vDBAIwgUFCXaY3hhjjKmDkyL/ioj8HcgQkRuAGcBTkY3VsIRgKh9tqWBYOw8dUlx069YtmnGMMcaYmNTQiHcAqOp9InIOcBDoBfxeVT+MeLIGfPJtkEMBOD/fS2JiIunp6dGMY4wxxsSkRou8iPwK+Fe0C3tNH39dQc/MRPLT3fTu3TvacYwxxpiY5ORwfRrwvoh8LCK3iEhupEM1Znc5nJeXQFpaGmlpUZ8QzxhjjIlJjRZ5Vf2jqvYDbgE6AHNEZEbEkzWgXaIwJNdNx44doxnDGGOMiWlNGfFuJ/AtsAdoG5k4zpzZxYtLhLZtoxrDGGOMiWlOBsO5WUQKgZlANnCDqg6MdLCGDGnrtYlojDHGmEY02vEO6ArcrqpLI5zFMbdAjx49oh3DGGOMiWn1FnkRSVPVg8C94eWsms+r6t4IZ6uXuD0225wxxhjTiIZa8i8B44HFhEa7q1lVFSiIYK4GJSf6o/XSxhhjTNyot8ir6vjwz5ibv1WwVrwxxhjTGCcd72Y6eaxF2aF6Y4wxplENnZP3A0lAtohk8t3h+jRC18sbY4wxJoY1dE7+Z8DthAr6Yr4r8geBRyMbq2Eua8kbY4wxjWronPxfgb+KyC9U9eEWzOSAFXljjDGmMU5moXtYRPoDfQF/jcefi2SwhljHO2OMMaZxTmah+wMwmlCRfwc4H5gLRK3IqxV5Y4wxplFOxq6fAJwNfKuq1wCDAF9EUxljjDHmuDkZ1rZUVYMiEhCRNEIT1TgaCEdExgJ/BdzA06p6T63nfwz8JrxYDNysql842O8Ry5WVlWzdupWysjInsVpceno6q1evjnYMx443r9/vp1OnTni93mZMZYwxpqmcFPlFIpIBPEWol30xsKCxjUTETagX/jnAVmChiLypqqtqrLYROFNV94nI+cCTwCmN7rvW8YetW7eSmppKXl5eTA53W1RURGpqarRjOHY8eVWVPXv2sHXrVvLzY24cJWOMOaE46Xj38/DdJ0TkPSBNVZc52PdwYJ2qbgAQkSnAxUB1kVfVT2qsPx/o5CR07TJeVlYWswX+RCMitGnThl27dkU7ijHGnPBEVet+QmRIQxuq6pIGdywyARirqteHl38KnKKqt9az/h1A78Pr13ruRuBGAH+e/+QX/zqZrLSM6ufT09Pp3r17Q3GiqqqqCrfbHe0YjjVH3nXr1nHgwIFmStS44uJiUlJSWuz1mkO8ZY63vGCZW0K85YX4zDxmzJjFqjq0qds11JK/v4HnFDirkX3X1ayu8xuFiIwBrgNG1vliqk8SOpRPYn6itsttx2mnnFr9/OrVq2P6cPiJdLj+ML/fz+DBg5spUeMKCwsZPXp0i71ec4i3zPGWFyxzS4i3vBCfmY9Vvb3rVXVMA7fGCjyEzsN3rrHcCdhWeyURGQg8DVysqnua+gZiyWuvvYaIsGbNmmhHOcro0aNZtGhRtGMYY4xpQU4mqLmqrpuDfS8EeohIvogkAFcAb9badxdgGvBTVV3rOHTtnncxYvLkyYwcOZIpU6Y0y/4CgUCz7McYY8yJyUnv+mE17vsJXTO/hEYGw1HVgIjcCrxP6BK6f6rqShG5Kfz8E8DvgTbAY+FOc4FjOedQ0x+nr2TVtoPHs4uj9O2Qxh8u7NfgOsXFxcybN4/Zs2dz0UUXMXHiRAoLC/n9739Peno669evZ9SoUTz22GO4XC5SUlL42c9+xuzZs8nMzGTKlCnk5OQwevRoTjvtNObNm8dFF13ESSedxB133EEgEGDYsGE8/vjjzJo1i2eeeYZXXnkFCB16uv/++5k+fTo333wzCxcupLS0lAkTJvDHP/6xWT8LY4wx8aPRJrGq/qLG7QZgMJDgZOeq+o6q9lTVbqr6p/BjT4QLPKp6vapmqupJ4ZujAh+Lvehff/11xo4dS8+ePcnKymLJklC/xAULFvCnP/2J5cuXs379eqZNmwZASUkJQ4YMYcmSJZx55plHFOP9+/czZ84cbrnlFq6++mpefvllli9fTiAQ4PHHH+ecc85h/vz5lJSUAPDyyy/zwx/+EIA//elPLFq0iGXLljFnzhyWLXNyIYQxxpjWyElLvrZDQI/mDtJcGmtxR8rkyZO5/fbbAbjiiiuYPHkyF1xwAcOHDyc/Px+3282PfvQj5s6dy4QJE3C5XNWF+Sc/+Qnf//73q/d1+PEvv/yS/Px8evbsCcC//du/8eijj3L77bczduxYpk+fzoQJE3j77be59957AXjllVd48sknCQQCbN++nVWrVjFw4MAW/CSMMcbECidj10/nu17xLkJj2L8SyVDxZs+ePcyaNYsVK1YgIlRVVSEijBs37qijDvUdhaj5eHJyMhAaWKY+P/zhD3n00UfJyspi2LBhpKamsnHjRu677z4WLlxIZmYmV199dcyOAmiMMSbynPRgu4/Q5XT3A/8HjFLV30Y0VSNibRa6qVOnctVVV7F582Y2bdrEli1byM/PZ+7cuSxYsIBNmzYRDAZ5+eWXGTkydJVgMBhk6tSpALz00kvVj9fUu3dvNm3axLp16wB4/vnnOfPMM4FQb/klS5bw1FNPVbf8Dx48SHJyMunp6ezYsYN33323Jd6+McaYGOVkxLs5AOFx6z3h+1mqujfC2eoVa6fkJ0+ezG9/e+T3nssuu4zHH3+cESNGMHHiRFavXs2oUaO49NJLgVBrfeXKlZx88smkp6fz8ssvH7Vfv9/PM888w+WXX17d8e6mm24CwO12M378eCZNmsSzzz4LwKBBgxg8eDD9+vWjoKCA008/PcLv3BhjTCxzcrj+RuAuoBQIEhrkRnE4SU0kxFrHu8LCwqMeu+222xg4cCD33XcfkyZNqnNwmbvuuou77rqrwX2dffbZfP7553W+7iOPPMIjjzxyxGOTJk1ynNEYY0zr5qTj3X8A/VR1d6TDOBVbJd4YY4yJTU7Oya8n1KPeNNHo0aN566236nyuuLi4hdMYY4w50Thpyf8X8ImIfAaUH35QVW+LWKpGxNrhemOMMSYWOSnyfwdmAcsJnZOPKivvxhhjjDNOinxAVX8d8STGGGOMaVZOzsnPFpEbRaS9iGQdvkU8mTHGGGOOi5MifyXh8/LA4vDN5iytxe12c9JJJ9G/f38uv/xyDh0K9VVMSUlptteYOHEi9913HwC///3vmTFjBgAPPfRQ9esZY4wxhzmZoCa/jlvUrpGPVYmJiSxdupQVK1aQkJDAE088cUz7qaqqcrTenXfeyfe+9z3Airwxxpi6ORkMp86541W1walmo+bd38K3y5t3n+0GwPn3OF79jDPOOGr2t8LCQu67777qS+puvfVWhg4dytVXX01eXh7XXnstH3zwAbfeeitFRUU8+eSTVFRU0L17d55//nmSkpKO2N/VV1/N+PHj2bZtG9u2bWPMmDFkZ2fzk5/8hBUrVvDggw8C8NRTT7F69WoeeOCB4/wQjDHGxBsnh+uH1bidAUwELopgprgWCAR49913GTBgQJO28/v9zJ07lyuuuILvf//7LFy4kC+++II+ffrwj3/8o97tbrvtNjp06MDs2bOZPXs2V1xxBW+++SaVlZUAPPPMM1xzzTXH9Z6MMcbEJydj1/+i5rKIpAPPRyzR8WpCi7s5lZaWctJJJwGhlvx1113XpO0PTzIDsGLFCv7nf/6H/fv3U1xczHnnned4P8nJyZx11lm89dZb9OnTh8rKyiZ/4TDGGNM6tLr55KPl8Dn5+ng8HoLB74YZqD0F7OHpZSF0KP71119n0KBBTJo0qcnjzl9//fXcfffd9O7d21rxxhhzArP55FtI165dWbVqFeXl5ZSVlTFz5sw6p5cFKCoqon379lRWVvLiiy/SsWPHBvedmppKUVER2dnZAJxyyils2bKFJUuWHNU3wBhjzInDSUv+vhr3A8BmVd0aoTytVufOnfnBD37AwIED6dGjB4MHD6533bvuuotTTjmFrl27MmDAAIqKihrc94033sj5559P+/btmT17NgA/+MEPWLp0KZmZmc36PowxxsSPeou8iHQHcg/PJ1/j8TNExKeq6yOeLo7UN+FMcXFxdZG+9957uffee49aZ9OmTUcs33zzzdx8881HrTdx4sTq+zWnlP3FL37BL35xRNcJ5s6dy69+9SuH6Y0xxrRGDfWufwioqwlZGn7OxKD9+/fTs2dPEhMTOfvss6MdxxhjTBQ1dLg+T1WPOqGrqotEJC9ykczxyMjIYO3atdGOYYwxJgY01JL3N/BcYnMHcUq08XWMMcYY03CRXygiN9R+UESuIzR+vTHGGGNiWEOH628HXhORH/NdUR8KJACXRjiXMcYYY45TvUVeVXcAp4nIGKB/+OG3VXVWiyQzxhhjzHFxMgvdbFV9OHyzAt+A1157DRFhzZo1ja5be+a4cePGsX//fsevtWnTJvr379/4ig5dffXVTJ06FQhNnrNq1SoA7r777mZ7DWOMMS3LyQQ1xqHJkyczcuRIpkyZ0ui6tYv8O++8Q0ZGRgTTOZ/G9pFHHqFv376AFXljjIlnxzJ2fUz784I/s2Zv4y3ppuid1ZvfDP9Ng+sUFxczb948Zs+ezUUXXcTEiRMpLCxk4sSJZGRksGbNGk4++WReeOEFHn744SOmh509ezZ5eXksWrSoemjawyZOnMj69ev55ptv2LJlC//5n//JDTcc2R9y0qRJLFq0iEceeQSA8ePHc8cddzB69GhSUlL49a9/zfvvv8/999/PrFmzmD59OqWlpZx22mn8/e9/R0SO2N+4ceN48MEHmTp1avXEO/369aOgoIDs7Gx++ctfAvD//t//Izc3l9tuu+14P2JjjDERYC35ZvL6668zduxYevbsSVZWFkuWLAHg888/55577mHVqlVs2LCBefPmHTU9bGOWLVvG22+/zaeffsqdd97Jtm3bHOcqKSmhf//+fPbZZ4wcOZJbb72VhQsXsmLFCkpLS6vnt6/LPffcUz3xzosvvsh1113Hs88+C0AwGGTKlCn8+Mc/dpzFGGNMy2p1LfnGWtyRMnnyZG6//XYArrjiCiZPnswFF1zA8OHD6dixIy6Xi5NOOolNmzbVOzFNfS6++GISExNJTExkzJgxLFiwoHpa28a43W4uu+yy6uXZs2dz7733cujQIfbu3Uu/fv248MILHe0rLy+PNm3a8Pnnn7Njxw4GDx5MmzZtmvRejDHGtJyIFnkRGQv8FXADT6vqPbWel/Dz4whNYXu1qi6JZKZI2LNnD7NmzWLFihWICFVVVYgI48aNw+fzVa/ndrsJBAIN7uvRRx/lqaeeAkLn6YGjDqfXXm5oGlu/34/b7a5+/Oc//zmLFi2ic+fOTJw48agpbxtz/fXXM2nSJL799luuvfbaJm1rjDGmZUXscL2IuIFHgfMJTU/7IxHpW2u18wnNTd8DuBF4PFJ5Imnq1KlcddVVbN68mU2bNrFlyxby8/OZO3duvdscnh62tltuuYWlS5eydOlSOnToAMAbb7xBWVkZe/bsobCwkGHDhh2xTV5eHkuXLiUYDLJlyxYWLFhQ52seLujZ2dkUFxdX96ZviNfrpbKysnr50ksv5b333mPhwoWcd955jW5vjDEmeiJ5Tn44sE5VN6hqBTAFuLjWOhcDz2nIfCBDRNpHMFNETJ48mUsvPXJ8oMsuu4yXXnqp3m0OTw87ZsyYRvc/fPhwLrjgAk499VR+97vfVRf/w04//XTy8/MZMGAAd9xxB0OGDKlzPxkZGdxwww0MGDCASy655KgvC/XlHDhwYPW594SEBMaMGcMPfvCD6iMExhhjYpOoRmYweBGZAIxV1evDyz8FTlHVW2us8xZwj6rODS/PBH6jqotq7etGQi192nROOvnFp6YdcRg8PT2d7t27R+R9NIeqqqpjLoh33303KSkpLdqDvaG8wWCQM844g2effbbBz3zdunUcOHAgUhGPUlxcTEpKSou9XnOIt8zxlhcsc0uIt7wQn5nHjBmzWFWHNnW7SJ6Tlzoeq/2Nwsk6qOqTwJMAvXr10tqHiVevXk1qauoxxoy8oqKiY87n8/nw+Xwt+v7qy7tq1SrGjx/PpZdeyuDBgxvch9/vb3Sd5lRYWMjo0aNb7PWaQ7xljre8YJlbQrzlhfjMfKwiWeS3Ap1rLHcCal/75WSdE9rEiROjHaFa37592bBhQ7RjGGOMcSiS5+QXAj1EJF9EEoArgDdrrfMmcJWEnAocUNXtx/JikTrtYJrO/i2MMSY2RKwlr6oBEbkVeJ/QJXT/VNWVInJT+PkngHcIXT63jtAldNccy2v5/X727NlDmzZtjrq8zLQsVWXPnj34/f5oRzHGmBNeRK+TV9V3CBXymo89UeO+Arcc7+t06tSJrVu3smvXruPdVUSUlZXFVdE73rx+v59OnTo1YyJjjDHHolWMeOf1esnPz492jHoVFha2aCe04xVveY0xxtTNxq43xhhjWikr8sYYY0wrZUXeGGOMaaUiNuJdpIhIEfBltHM0UTawO9ohmiDe8oJlbgnxlhcsc0uIt7wQn5l7qWqTR0WLx453Xx7L0H7RJCKL4ilzvOUFy9wS4i0vWOaWEG95IX4zH8t2drjeGGOMaaWsyBtjjDGtVDwW+SejHeAYxFvmeMsLlrklxFtesMwtId7ywgmUOe463hljjDHGmXhsyRtjjDHGASvyxhhjTCsVs0VeRMaKyJcisk5EflvH8yIifws/v0xEhkQjZ408jeXtLSKfiki5iNwRjYy1Ocj84/Bnu0xEPhGRQdHIWStTY5kvDuddKiKLRGRkNHLWyNNg3hrrDRORKhGZ0JL56snS2Gc8WkQOhD/jpSLy+2jkrJWp0c85nHupiKwUkTktnbFWlsY+4/+o8fmuCP9uZEUja41MjWVOF5HpIvJF+DM+pllFm5ODzJki8lr4/4wFItI/Gjlr5PmniOwUkRX1PN/0uqeqMXcjNDXteqAASAC+APrWWmcc8C4gwKnAZzGety0wDPgTcEecfManAZnh++dH8zNuQuYUvutrMhBYE8t5a6w3i9CMjRPi4DMeDbwVzZzHkDkDWAV0CS+3jeW8tda/EJgVB5/xfwN/Dt/PAfYCCTGe+S/AH8L3ewMzo/w5jwKGACvqeb7JdS9WW/LDgXWqukFVK4ApwMW11rkYeE5D5gMZItK+pYOGNZpXVXeq6kKgMhoB6+Ak8yequi+8OB+I9vyxTjIXa/ivAUgGotmz1MnvMcAvgFeBnS0Zrh5OM8cSJ5mvBKap6tcQ+nts4Yw1NfUz/hEwuUWS1c9JZgVSRUQIfdneCwRaNuYRnGTuC8wEUNU1QJ6I5LZszO+o6keEPrf6NLnuxWqR7whsqbG8NfxYU9dpKbGUxammZr6O0DfIaHKUWUQuFZE1wNvAtS2UrS6N5hWRjsClwBMtmKshTn8vRoQPy74rIv1aJlq9nGTuCWSKSKGILBaRq1os3dEc/+2JSBIwltCXwGhykvkRoA+wDVgO/FJVgy0Tr05OMn8BfB9ARIYDXYl+Y6YhTa41sVrkpY7HarfInKzTUmIpi1OOM4vIGEJF/jcRTdQ4R5lV9TVV7Q1cAtwV6VANcJL3IeA3qloV+TiOOMm8BOiqqoOAh4HXIx2qEU4ye4CTgQuA84DfiUjPSAerR1P+v7gQmKeqDbXuWoKTzOcBS4EOwEnAIyKSFtlYDXKS+R5CX/6WEjqi9jnRPfrQmCbXmlgdu34r0LnGcidC3w6buk5LiaUsTjnKLCIDgaeB81V1Twtlq0+TPmdV/UhEuolItqpGYzIKJ3mHAlNCRzjJBsaJSEBVX2+RhEdrNLOqHqxx/x0ReSyKnzE4//9it6qWACUi8hEwCFjbMhGPyuL09/gKon+oHpxlvga4J3y6bJ2IbCR0nntBy0Q8itPf5Wsg1KkN2Bi+xaqm15podjJooPOBB9gA5PNdh4l+tda5gCM7ICyI5bw11p1IbHS8c/IZdwHWAadFO28TMnfnu453Q4BvDi/HYt5a608i+h3vnHzG7Wp8xsOBr6P1GTchcx9C5149QBKwAugfq3nD66UTOj+bHM3fiSZ8xo8DE8P3c8N/e9kxnjmDcOdA4AZC57uj/VnnUX/HuybXvZhsyatqQERuBd4n1EPyn6q6UkRuCj//BKGeyOMIFaFDhL+NxWpeEWkHLALSgKCI3E6op+fB+vYb7czA74E2wGPhlmZAozhzk8PMlwFXiUglUAr8UMN/HTGaN6Y4zDwBuFlEAoQ+4yui9Rk7zayqq0XkPWAZEASeVtU6L1OKhbzhVS8FPtDQ0Yeocpj5LmCSiCwnVIR+o9E7uuM0cx/gORGpInT1xXXRygsgIpMJXb2SLSJbgT8AXjj2umfD2hpjjDGtVKx2vDPGGGPMcbIib4wxxrRSVuSNMcaYVsqKvDHGGNNKWZE3xhhjWikr8sY0kYgUR/G1bxOR1SLyYhO2+e9ay5+Ef+Ydnu1KRIaKyN/C90eLyGnHkK16H9EiIhMlPMujhGZ+XCoin4tIt2jmMiZaYvI6eWNMvX5OaPTBpozK9d/A3YcXVPWoAq6qiwiN4wCh63SLgU+cvoCIeGrtIxZcAryhqn9wuoGIuDV2hhg25rhZS96YZiAiJ4nI/PAcz6+JSGb48dtEZFX48Snhx86U7+YK/1xEUuvY368lNI/4ivDASYjIE4SmzXxTRH5Va/2rReSRGstvhVvk9wCJ4dd6MfzcUUciwuu+JSJ5wE3Ar8LbnCEiF4rIZ+GsMw7P0hVuNT8pIh8QGlBktIi8FX5uuIh8Et7mExHpVSPnNBF5T0S+EpF768gyXESmhe9fLCKlIpIgIn4R2RB+vFt4H4tF5GMR6V1rH+OA24HrRWR2+LHXw+uvFJEba6xbLCJ3ishnhCbe+YmE5hZfKiJ/FxF3ff/uxsS8aA/hZze7xdsNKK7jsWXAmeH7dwIPhe9vA3zh+xnhn9OB08P3UwBPrX2dTGgWr+Tw8yuBweHnNlHHUKHA1cAjNZbfAkbXlffwMjWGz6TGHPHUGnoZyOS7gbOuB+6vsd5iILGOfaQdfl/A94BXa+TcQGjIVj+wGehcK58H2Bi+fx+wEDgdOBOYHH58JtAjfP8UwvOt18xex/vICv9MJDSsbZvwsgI/CN/vE/738YaXHwOuivbvnN3sdqw3O1xvzHESkXRCBXxO+KFngX+F7y8DXhSR1/lutrZ5wAPhlvU0Vd1aa5cjgdc0PJxpuFV7BqEZsqKhE/CyhOatTuDICTzeVNXSOrZJB54VkR6Eiqi3xnMzVfUAgIisIjS9Z/X0mRoajnSdiPQhNDb+A8AoQkOTfiwiKcBpwL9Eqifl8jl4H7eJyKXh+52BHsAeoIrvpnI9m9CXrIXhfScC0Zx73pjjYofrjYmsC4BHCRWOxeFz1/cQahEnAvNrH2qm7ukkGxPgyL9n/7GErcfDhI4SDAB+Vmvf9Y2rfhcwW1X7E5outeY25TXuV1F336CPgfOBSmAGoS8+I4GPCL3P/ap6Uo1bn4begIiMJnREYYSGpsj9vEamMv3uPLwAz9bYby9VndjQvo2JZVbkjTlO4VbpPhE5I/zQT4E5IuIidCh6NvCfhGa8ShGRbqq6XFX/TKijWu0i/xFwiYgkiUgyoYlKPm4kxibgJBFxiUhnQi3gwypFxFv3ZnUqAmr2E0gnNKMYwL853EfNba5uwmsf9hGhc+qfquouQhMl9QZWamhSp40icjmEpggVkUEO8uxT1UPhL1Wn1rPeTGCCiLQN7ztLRLoeQ35jYoIVeWOaLklEtta4/ZpQ8fuLiCwDTiJ0Xt4NvCChWbk+Bx5U1f3A7eEOdV8QmsXt3Zo7V9UlhKadXQB8RmjGtMYO1c8jdBh9OaHz2EtqPPcksEycX3Y3Hbj0cMc7Que2/yUiHwNOZxW7F/g/EZlH6HNoqs8ITVf6UXh5GbBMVQ/PqPVj4LrwZ7gSuLiR/b0HeML/PncB8+taSVVXAf8DfBBe90Og/THkNyYm2Cx0xhhjTCtlLXljjDGmlbIib4wxxrRSVuSNMcaYVsqKvDHGGNNKWZE3xhhjWikr8sYYY0wrZUXeGGOMaaX+P7pQh8QiSOPrAAAAAElFTkSuQmCC\n", "text/plain": [ "
" ] }, "metadata": { "needs_background": "light" }, "output_type": "display_data" } ], "source": [ "plot_welfare_losses(results, 'utilitarian_welfare_losses')\n", "plt.savefig('img/fUWelfareNoCW.png', dpi=600, bbox_inches=\"tight\")" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.9.7" }, "toc": { "base_numbering": 1, "nav_menu": {}, "number_sections": true, "sideBar": true, "skip_h1_title": true, "title_cell": "Table of Contents", "title_sidebar": "Contents", "toc_cell": false, "toc_position": {}, "toc_section_display": true, "toc_window_display": false } }, "nbformat": 4, "nbformat_minor": 4 }